Logic in India - Editorial Introduction

The most remarkable feature of Indian formal logic (as it was reflected by the most advanced system of Indian logic, by Navya–Nyaya) is clearly a close connection of a logical formalism to a linguistic material . . . A common characteristic of Indian knowledge on all stages of its existence was a consistent intentionalism, whereas European logic was still a predominantly extentional one. Important properties appeared to be also a utilization of non-quantum formalized expressions, presence of a complicated theory relations, and a unique theory of multi-level abstraction. (...) According to Bochenski, Indian logic can be of interest to Western logicians because it was ‘initiated on different foundations’. [13, p. 119], [3, p. 517]